[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

805 805 518 385 955 0 0 1333 2500

N.S.

1 1.00 0.64 0.48 1.19 0.00 0.00 1.66 3.11

time (sec)

N/A 0.933 2.111 0.271 0.587 0.000 0.000 2.900 11.671

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

805 805 521 385 1064 0 0 1278 2500

N.S.

1 1.00 0.65 0.48 1.32 0.00 0.00 1.59 3.11

time (sec)

N/A 0.897 6.115 0.349 0.544 0.000 0.000 1.797 8.728

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

881 881 598 405 1066 0 0 1289 2500

N.S.

1 1.00 0.68 0.46 1.21 0.00 0.00 1.46 2.84

time (sec)

N/A 1.138 1.967 0.408 0.541 0.000 0.000 2.609 10.135

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 75 144 132 99 212 104 96

N.S.

1 1.00 0.73 1.40 1.28 0.96 2.06 1.01 0.93

time (sec)

N/A 0.060 0.059 0.077 0.330 3.274 0.233 1.437 0.303

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 124 192 166 257 286 132 -1

N.S.

1 1.00 0.80 1.24 1.07 1.66 1.85 0.85 -0.01

time (sec)

N/A 0.051 0.173 0.092 0.332 3.109 25.566 1.171 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 56 96 90 75 162 73 76

N.S.

1 1.00 0.77 1.32 1.23 1.03 2.22 1.00 1.04

time (sec)

N/A 0.042 0.046 0.083 0.323 2.346 0.151 1.188 0.292

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 100 144 124 206 226 100 -1

N.S.

1 1.00 0.82 1.18 1.02 1.69 1.85 0.82 -0.01

time (sec)

N/A 0.040 0.117 0.083 0.289 2.192 7.346 2.956 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 34 52 50 50 110 44 53

N.S.

1 1.00 0.74 1.13 1.09 1.09 2.39 0.96 1.15

time (sec)

N/A 0.025 0.027 0.076 0.297 1.773 0.098 1.443 0.265

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 74 98 81 155 144 69 -1

N.S.

1 1.00 0.85 1.13 0.93 1.78 1.66 0.79 -0.01

time (sec)

N/A 0.020 0.094 0.079 0.277 2.620 3.290 1.884 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 59 57 45 123 76 60 47

N.S.

1 1.00 1.00 0.97 0.76 2.08 1.29 1.02 0.80

time (sec)

N/A 0.033 0.061 0.082 0.283 1.781 10.926 1.607 0.424

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 67 100 59 134 107 84 94

N.S.

1 1.00 0.80 1.19 0.70 1.60 1.27 1.00 1.12

time (sec)

N/A 0.024 0.115 0.083 0.276 2.265 2.048 1.487 0.561

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 65 106 83 141 107 68 68

N.S.

1 1.00 0.77 1.26 0.99 1.68 1.27 0.81 0.81

time (sec)

N/A 0.046 0.114 0.098 0.295 1.185 15.653 2.364 0.621

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 70 81 48 137 107 151 76

N.S.

1 1.00 1.06 1.23 0.73 2.08 1.62 2.29 1.15

time (sec)

N/A 0.019 0.099 0.081 0.274 2.126 1.511 1.379 0.679

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 78 154 130 170 144 120 93

N.S.

1 1.00 0.89 1.75 1.48 1.93 1.64 1.36 1.06

time (sec)

N/A 0.050 0.138 0.091 0.274 1.180 41.406 1.262 0.783

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 40 58 56 55 119 232 97

N.S.

1 1.00 0.75 1.09 1.06 1.04 2.25 4.38 1.83

time (sec)

N/A 0.016 0.099 0.085 0.280 1.207 1.306 1.838 0.433

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 102 202 174 221 226 140 134

N.S.

1 1.00 0.85 1.68 1.45 1.84 1.88 1.17 1.12

time (sec)

N/A 0.068 0.163 0.089 0.289 1.499 54.834 1.770 1.017

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 62 102 96 81 442 288 132

N.S.

1 1.00 0.74 1.21 1.14 0.96 5.26 3.43 1.57

time (sec)

N/A 0.023 0.119 0.090 0.318 1.507 1.618 0.879 0.554

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 126 250 216 269 286 194 173

N.S.

1 1.00 0.81 1.60 1.38 1.72 1.83 1.24 1.11

time (sec)

N/A 0.087 0.219 0.095 0.298 1.383 99.138 0.850 1.235

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 81 150 138 105 957 344 174

N.S.

1 1.00 0.69 1.28 1.18 0.90 8.18 2.94 1.49

time (sec)

N/A 0.039 0.152 0.093 0.326 1.500 2.106 1.310 0.675

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 146 298 258 317 347 230 209

N.S.

1 1.00 0.77 1.58 1.37 1.68 1.84 1.22 1.11

time (sec)

N/A 0.102 0.261 0.105 0.312 1.219 209.280 1.418 1.594

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 80 144 132 124 260 104 117

N.S.

1 1.00 0.78 1.40 1.28 1.20 2.52 1.01 1.14

time (sec)

N/A 0.053 0.061 0.080 0.280 1.262 0.404 1.516 0.351

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 142 224 204 299 345 159 -1

N.S.

1 1.00 0.76 1.19 1.09 1.59 1.84 0.85 -0.01

time (sec)

N/A 0.064 0.180 0.079 0.278 1.016 164.253 2.354 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 56 96 90 99 209 73 96

N.S.

1 1.00 0.77 1.32 1.23 1.36 2.86 1.00 1.32

time (sec)

N/A 0.041 0.044 0.079 0.274 1.537 0.293 1.367 0.306

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 122 176 162 260 287 133 -1

N.S.

1 1.00 0.79 1.14 1.05 1.68 1.85 0.86 -0.01

time (sec)

N/A 0.047 0.160 0.082 0.291 1.195 33.489 1.020 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 34 52 50 73 158 44 76

N.S.

1 1.00 0.74 1.13 1.09 1.59 3.43 0.96 1.65

time (sec)

N/A 0.025 0.030 0.077 0.289 1.375 0.186 2.268 0.294

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 99 130 116 207 253 102 -1

N.S.

1 1.00 0.84 1.10 0.98 1.75 2.14 0.86 -0.01

time (sec)

N/A 0.026 0.141 0.080 0.314 1.520 10.284 1.117 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 83 71 58 170 71 79 60

N.S.

1 1.00 1.09 0.93 0.76 2.24 0.93 1.04 0.79

time (sec)

N/A 0.037 0.080 0.076 0.351 1.371 24.401 1.506 0.452

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 84 132 91 182 216 114 80

N.S.

1 1.00 0.77 1.21 0.83 1.67 1.98 1.05 0.73

time (sec)

N/A 0.030 0.169 0.087 0.312 1.315 5.183 1.899 0.702

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 81 134 109 167 184 103 94

N.S.

1 1.00 0.74 1.22 0.99 1.52 1.67 0.94 0.85

time (sec)

N/A 0.059 0.123 0.095 0.275 1.577 19.806 1.505 0.748

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 84 180 115 166 202 207 -1

N.S.

1 1.00 0.71 1.51 0.97 1.39 1.70 1.74 -0.01

time (sec)

N/A 0.035 0.182 0.087 0.274 1.118 3.206 1.234 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 81 182 161 189 216 131 104

N.S.

1 1.00 0.70 1.58 1.40 1.64 1.88 1.14 0.90

time (sec)

N/A 0.060 0.175 0.104 0.307 1.282 50.514 1.473 0.973

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 92 121 88 184 184 236 -1

N.S.

1 1.00 1.07 1.41 1.02 2.14 2.14 2.74 -0.01

time (sec)

N/A 0.026 0.167 0.093 0.284 1.353 2.592 1.294 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 102 230 210 222 253 159 130

N.S.

1 1.00 0.85 1.92 1.75 1.85 2.11 1.32 1.08

time (sec)

N/A 0.067 0.180 0.096 0.305 1.448 73.369 2.418 1.267

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 40 58 56 78 518 344 128

N.S.

1 1.00 0.75 1.09 1.06 1.47 9.77 6.49 2.42

time (sec)

N/A 0.014 0.156 0.092 0.280 1.203 2.752 3.263 0.733

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 126 278 252 271 287 194 169

N.S.

1 1.00 0.81 1.78 1.62 1.74 1.84 1.24 1.08

time (sec)

N/A 0.086 0.232 0.097 0.271 1.683 135.607 1.364 1.721

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 62 102 96 105 1408 400 170

N.S.

1 1.00 0.74 1.21 1.14 1.25 16.76 4.76 2.02

time (sec)

N/A 0.025 0.195 0.094 0.278 1.231 3.422 0.929 0.953

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 142 326 294 317 0 212 205

N.S.

1 1.00 0.77 1.77 1.60 1.72 0.00 1.15 1.11

time (sec)

N/A 0.104 0.277 0.105 0.278 1.591 0.000 0.611 2.138

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 80 144 132 147 313 104 136

N.S.

1 1.00 0.78 1.40 1.28 1.43 3.04 1.01 1.32

time (sec)

N/A 0.052 0.067 0.078 0.279 1.192 0.722 0.626 0.383

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 164 256 242 355 0 195 -1

N.S.

1 1.00 0.74 1.16 1.10 1.61 0.00 0.88 -0.00

time (sec)

N/A 0.074 0.256 0.089 0.289 1.384 0.000 0.642 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 56 96 90 122 260 73 115

N.S.

1 1.00 0.77 1.32 1.23 1.67 3.56 1.00 1.58

time (sec)

N/A 0.041 0.048 0.080 0.325 1.192 0.526 0.655 0.365

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 143 208 200 308 348 165 -1

N.S.

1 1.00 0.76 1.11 1.06 1.64 1.85 0.88 -0.01

time (sec)

N/A 0.060 0.221 0.085 0.297 1.298 168.714 0.705 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 34 52 50 97 209 44 44

N.S.

1 1.00 0.74 1.13 1.09 2.11 4.54 0.96 0.96

time (sec)

N/A 0.025 0.031 0.082 0.326 1.254 0.372 0.704 0.332

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 123 162 151 257 316 134 -1

N.S.

1 1.00 0.83 1.09 1.01 1.72 2.12 0.90 -0.01

time (sec)

N/A 0.035 0.191 0.079 0.312 1.587 35.808 0.680 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 103 85 73 220 88 97 78

N.S.

1 1.00 1.08 0.89 0.77 2.32 0.93 1.02 0.82

time (sec)

N/A 0.048 0.094 0.079 0.368 1.278 33.899 0.945 0.483

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 110 164 124 236 306 146 80

N.S.

1 1.00 0.81 1.21 0.91 1.74 2.25 1.07 0.59

time (sec)

N/A 0.037 0.232 0.086 0.375 1.869 12.619 0.889 0.871

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 105 162 138 221 296 139 132

N.S.

1 1.00 0.78 1.20 1.02 1.64 2.19 1.03 0.98

time (sec)

N/A 0.069 0.180 0.099 0.295 1.103 23.276 1.019 0.849

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 109 212 151 220 299 238 -1

N.S.

1 1.00 0.75 1.45 1.03 1.51 2.05 1.63 -0.01

time (sec)

N/A 0.040 0.285 0.090 0.331 1.711 6.557 1.517 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 106 210 190 221 279 171 144

N.S.

1 1.00 0.74 1.47 1.33 1.55 1.95 1.20 1.01

time (sec)

N/A 0.069 0.199 0.105 0.293 1.898 54.514 1.291 1.157

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 108 260 198 220 292 321 -1

N.S.

1 1.00 0.71 1.71 1.30 1.45 1.92 2.11 -0.01

time (sec)

N/A 0.044 0.240 0.090 0.302 1.132 4.360 1.457 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 107 258 243 241 306 167 150

N.S.

1 1.00 0.72 1.73 1.63 1.62 2.05 1.12 1.01

time (sec)

N/A 0.073 0.209 0.099 0.353 1.286 79.275 1.306 1.494

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 112 161 128 234 592 320 -1

N.S.

1 1.00 1.04 1.49 1.19 2.17 5.48 2.96 -0.01

time (sec)

N/A 0.032 0.231 0.092 0.290 1.421 3.753 1.764 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 123 306 288 272 316 195 169

N.S.

1 1.00 0.81 2.01 1.89 1.79 2.08 1.28 1.11

time (sec)

N/A 0.082 0.217 0.099 0.291 1.819 158.077 1.376 2.046

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 40 58 56 102 1489 456 170

N.S.

1 1.00 0.75 1.09 1.06 1.92 28.09 8.60 3.21

time (sec)

N/A 0.014 0.224 0.099 0.318 1.481 4.348 1.200 1.278

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 143 354 330 319 0 230 205

N.S.

1 1.00 0.76 1.87 1.75 1.69 0.00 1.22 1.08

time (sec)

N/A 0.099 0.312 0.125 0.309 1.346 0.000 2.240 2.733

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 80 144 132 76 172 101 80

N.S.

1 1.00 0.80 1.44 1.32 0.76 1.72 1.01 0.80

time (sec)

N/A 0.054 0.054 0.085 0.292 1.337 0.350 1.405 0.321

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 100 154 128 211 235 107 -1

N.S.

1 1.00 0.82 1.26 1.05 1.73 1.93 0.88 -0.01

time (sec)

N/A 0.035 0.135 0.088 0.290 1.208 10.883 1.328 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 56 96 90 52 121 69 57

N.S.

1 1.00 0.79 1.35 1.27 0.73 1.70 0.97 0.80

time (sec)

N/A 0.038 0.039 0.081 0.299 1.513 0.304 1.279 0.303

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 76 106 86 162 150 75 -1

N.S.

1 1.00 0.85 1.19 0.97 1.82 1.69 0.84 -0.01

time (sec)

N/A 0.025 0.097 0.087 0.296 1.119 4.206 0.925 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 33 51 49 29 70 38 34

N.S.

1 1.00 0.77 1.19 1.14 0.67 1.63 0.88 0.79

time (sec)

N/A 0.025 0.025 0.080 0.316 1.325 0.233 1.267 0.281

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 59 63 47 110 126 48 86

N.S.

1 1.00 1.02 1.09 0.81 1.90 2.17 0.83 1.48

time (sec)

N/A 0.012 0.050 0.078 0.311 1.274 1.521 1.731 0.497

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 45 33 102 61 38 35

N.S.

1 1.00 1.00 1.05 0.77 2.37 1.42 0.88 0.81

time (sec)

N/A 0.023 0.038 0.079 0.334 2.901 4.745 1.275 0.519

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 50 41 33 109 99 58 40

N.S.

1 1.00 1.06 0.87 0.70 2.32 2.11 1.23 0.85

time (sec)

N/A 0.012 0.060 0.082 0.275 1.578 0.762 0.934 0.358

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 80 56 124 66 62 60

N.S.

1 1.00 1.00 1.38 0.97 2.14 1.14 1.07 1.03

time (sec)

N/A 0.030 0.071 0.095 0.285 1.447 11.299 1.226 0.605

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 40 58 56 34 70 120 35

N.S.

1 1.00 0.75 1.09 1.06 0.64 1.32 2.26 0.66

time (sec)

N/A 0.014 0.071 0.083 0.285 1.860 0.962 1.226 0.287

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 78 124 96 171 150 121 99

N.S.

1 1.00 0.87 1.38 1.07 1.90 1.67 1.34 1.10

time (sec)

N/A 0.048 0.135 0.092 0.296 1.965 25.875 1.410 0.705

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 62 102 96 58 355 176 58

N.S.

1 1.00 0.74 1.21 1.14 0.69 4.23 2.10 0.69

time (sec)

N/A 0.023 0.101 0.092 0.320 1.679 1.293 1.433 0.343

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 102 172 138 223 235 158 140

N.S.

1 1.00 0.83 1.40 1.12 1.81 1.91 1.28 1.14

time (sec)

N/A 0.064 0.200 0.090 0.285 1.702 46.844 1.199 0.806

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 86 150 138 82 819 232 105

N.S.

1 1.00 0.74 1.28 1.18 0.70 7.00 1.98 0.90

time (sec)

N/A 0.033 0.115 0.094 0.302 1.204 1.659 1.170 0.355

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 124 198 170 325 233 136 -1

N.S.

1 1.00 0.82 1.30 1.12 2.14 1.53 0.89 -0.01

time (sec)

N/A 0.048 0.202 0.099 0.287 1.973 20.201 1.037 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 77 142 132 88 172 113 89

N.S.

1 1.00 0.78 1.43 1.33 0.89 1.74 1.14 0.90

time (sec)

N/A 0.052 0.054 0.089 0.320 1.680 0.442 0.852 0.409

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 99 150 126 274 177 104 -1

N.S.

1 1.00 0.83 1.26 1.06 2.30 1.49 0.87 -0.01

time (sec)

N/A 0.035 0.166 0.095 0.314 1.552 7.340 1.259 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 55 94 89 63 117 77 59

N.S.

1 1.00 0.82 1.40 1.33 0.94 1.75 1.15 0.88

time (sec)

N/A 0.037 0.042 0.088 0.301 2.229 0.332 1.229 0.334

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 75 102 82 213 114 70 -1

N.S.

1 1.00 0.90 1.23 0.99 2.57 1.37 0.84 -0.01

time (sec)

N/A 0.039 0.130 0.095 0.309 1.426 3.898 1.362 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 30 51 49 40 66 36 30

N.S.

1 1.00 0.73 1.24 1.20 0.98 1.61 0.88 0.73

time (sec)

N/A 0.022 0.030 0.089 0.319 3.553 0.276 0.928 0.293

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 58 55 46 168 60 51 53

N.S.

1 1.00 1.07 1.02 0.85 3.11 1.11 0.94 0.98

time (sec)

N/A 0.013 0.086 0.094 0.296 1.585 2.427 1.333 0.367

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 61 48 167 48 52 50

N.S.

1 1.00 1.00 1.15 0.91 3.15 0.91 0.98 0.94

time (sec)

N/A 0.026 0.068 0.086 0.280 1.594 7.575 1.144 0.485

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 36 53 51 43 68 57 46

N.S.

1 1.00 0.77 1.13 1.09 0.91 1.45 1.21 0.98

time (sec)

N/A 0.013 0.064 0.093 0.319 2.120 2.800 0.824 0.272

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 77 114 86 232 262 99 90

N.S.

1 1.00 0.90 1.33 1.00 2.70 3.05 1.15 1.05

time (sec)

N/A 0.047 0.137 0.102 0.289 2.011 15.971 0.843 0.713

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 62 98 92 68 284 181 57

N.S.

1 1.00 0.76 1.20 1.12 0.83 3.46 2.21 0.70

time (sec)

N/A 0.021 0.098 0.095 0.290 1.732 3.764 1.094 0.331

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 100 162 130 287 180 137 134

N.S.

1 1.00 0.85 1.37 1.10 2.43 1.53 1.16 1.14

time (sec)

N/A 0.061 0.177 0.105 0.294 1.269 32.942 1.065 0.912

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 86 146 134 94 593 294 82

N.S.

1 1.00 0.75 1.27 1.17 0.82 5.16 2.56 0.71

time (sec)

N/A 0.031 0.127 0.097 0.294 1.557 4.865 0.897 0.437

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 126 210 174 341 236 180 178

N.S.

1 1.00 0.82 1.37 1.14 2.23 1.54 1.18 1.16

time (sec)

N/A 0.083 0.227 0.117 0.291 2.341 60.826 0.668 1.076

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 105 194 176 117 1030 407 148

N.S.

1 1.00 0.71 1.31 1.19 0.79 6.96 2.75 1.00

time (sec)

N/A 0.042 0.166 0.106 0.322 1.478 6.741 0.567 0.506

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 98 190 174 123 437 141 122

N.S.

1 1.00 0.77 1.48 1.36 0.96 3.41 1.10 0.95

time (sec)

N/A 0.069 0.069 0.099 0.301 1.770 0.579 0.512 0.484

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 119 194 210 392 804 148 -1

N.S.

1 1.00 0.80 1.30 1.41 2.63 5.40 0.99 -0.01

time (sec)

N/A 0.044 0.227 0.130 0.320 2.117 16.137 0.472 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 73 142 131 98 337 104 89

N.S.

1 1.00 0.75 1.46 1.35 1.01 3.47 1.07 0.92

time (sec)

N/A 0.054 0.054 0.104 0.276 1.277 0.563 0.939 0.402

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 97 146 160 333 675 112 -1

N.S.

1 1.00 0.85 1.28 1.40 2.92 5.92 0.98 -0.01

time (sec)

N/A 0.061 0.172 0.107 0.317 1.770 8.939 0.814 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 56 95 89 75 240 62 59

N.S.

1 1.00 0.82 1.40 1.31 1.10 3.53 0.91 0.87

time (sec)

N/A 0.040 0.042 0.095 0.305 1.860 0.395 1.344 0.344

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 75 117 103 245 352 69 -1

N.S.

1 1.00 0.97 1.52 1.34 3.18 4.57 0.90 -0.01

time (sec)

N/A 0.022 0.122 0.089 0.299 1.964 5.753 1.387 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 34 52 50 52 143 32 32

N.S.

1 1.00 0.77 1.18 1.14 1.18 3.25 0.73 0.73

time (sec)

N/A 0.024 0.030 0.092 0.273 1.404 0.391 1.416 0.279

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 37 90 68 54 144 40 33

N.S.

1 1.00 0.79 1.91 1.45 1.15 3.06 0.85 0.70

time (sec)

N/A 0.007 0.075 0.084 0.285 1.663 4.358 1.004 0.284

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 69 80 63 241 66 66 65

N.S.

1 1.00 0.96 1.11 0.88 3.35 0.92 0.92 0.90

time (sec)

N/A 0.037 0.090 0.092 0.390 1.638 14.694 1.371 0.540

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 62 92 85 77 265 101 68

N.S.

1 1.00 0.81 1.19 1.10 1.00 3.44 1.31 0.88

time (sec)

N/A 0.019 0.109 0.100 0.285 1.613 7.360 1.181 0.318

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 99 152 117 349 1608 101 126

N.S.

1 1.00 0.88 1.35 1.04 3.09 14.23 0.89 1.12

time (sec)

N/A 0.059 0.139 0.111 0.294 1.256 25.550 1.384 0.718

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 79 140 128 101 524 224 123

N.S.

1 1.00 0.73 1.30 1.19 0.94 4.85 2.07 1.14

time (sec)

N/A 0.033 0.120 0.101 0.296 1.244 10.722 1.235 0.368

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 119 200 164 407 1323 165 176

N.S.

1 1.00 0.82 1.37 1.12 2.79 9.06 1.13 1.21

time (sec)

N/A 0.077 0.199 0.121 0.277 1.821 49.686 1.459 0.920

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 105 188 172 129 944 336 231

N.S.

1 1.00 0.72 1.29 1.18 0.88 6.47 2.30 1.58

time (sec)

N/A 0.039 0.166 0.108 0.353 1.953 16.296 1.633 0.489

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 132 257 249 179 389 204 171

N.S.

1 1.00 0.84 1.64 1.59 1.14 2.48 1.30 1.09

time (sec)

N/A 0.090 0.084 0.085 0.346 1.355 0.370 1.412 0.373

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 99 185 181 140 308 150 137

N.S.

1 1.00 0.87 1.62 1.59 1.23 2.70 1.32 1.20

time (sec)

N/A 0.066 0.066 0.086 0.313 1.340 0.270 1.326 0.330

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 67 117 115 103 226 98 101

N.S.

1 1.00 0.87 1.52 1.49 1.34 2.94 1.27 1.31

time (sec)

N/A 0.041 0.046 0.092 0.311 1.604 0.163 1.227 0.312

[next] [prev] [prev-tail] [front] [up]